21. Functional and logic programming
پدیدآورنده : Matthias Blume, Naoki Kobayashi, German Vidal. (eds.)
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Functional programming (Computer science), Congresses,Logic programming, Congresses
رده :
QA
،
76
.
62
،.
F84
،
2010
22. Functional and logic programming
پدیدآورنده : / Masami Hagiya, Philip Wadler (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Functional programming (Computer science)--Congresses,Logic programming--Congresses
رده :
QA
,
76
.
62
,.
F84
,
2006
23. Functional and logic programming
پدیدآورنده : / Matthias Blume, Naoki Kobayashi, German Vidal (eds.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Functional programming (Computer science), Congresses,Logic programming, Congresses
رده :
QA76
.
62
.
F56
2010
24. Functional and logic programming
پدیدآورنده : Tom Schrijvers, Peter Thiemann (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Functional programming (Computer science), Congresses,Logic programming, Congresses
رده :
QA76
.
62
.
F85
2011eb
25. Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings
پدیدآورنده : Aart Middeldorp, Taisuke Sato )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1722
26. Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings
پدیدآورنده : Zhenjiang Hu, Mario Rodriguez-Artalejo )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2441
27. Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings
پدیدآورنده : Herbert Kuchen, Kazunori Ueda )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2024
28. Functional and logic programming : 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 : proceedings
پدیدآورنده : Yukiyoshi Kameyama, Peter J. Stuckey )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2998
29. Functional and logic programming: 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
62
.
F84
2001
30. Graphical models for security :
پدیدآورنده : George Cybenko, David Pym, Barbara Fila (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Security measures, Congresses.,Computer security-- Graphic methods, Congresses.,Computer networks-- Security measures.
رده :
QA76
.
9
.
A25
31. Implementation and application of functional language
پدیدآورنده : / Jurriaan Hage, Marco T. Morazaan (eds
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
32. Implementation and application of functional languages :
پدیدآورنده : Jurriaan Hage, Marco T. Morazán (eds)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Functional programming languages, Congresses,Functional programming languages-- Congresses
رده :
QA76
.
62
.
I58
2010
33. Mathematical foundations of computer science 1999 :
پدیدآورنده : Mirosław Kutyłowski, Leszek Pacholski, Tomasz Wierzbicki (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.
34. Operations research and optimization :
پدیدآورنده : Samarjit Kar, Ujjwal Maulik, Xiang Li, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Business logistics, Congresses.,Mathematical optimization, Congresses.,Operations research, Congresses.,Calculus of Variations and Optimal Control; Optimization.,Continuous Optimization.,Discrete Optimization.,Mathematics.,Operations Research, Management Science.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Business logistics.,Calculus of variations.,Mathematical optimization.,Operational research.,Operations research.,Optimization.
رده :
T57
.
6
35. Pacific Symposium on Biocomputing 2004 :
پدیدآورنده : edited by Russ B. Altman [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Biology-- Computer simulation, Congresses.,Biology-- Mathematical models, Congresses.,Molecular biology-- Computer simulation, Congresses.,Molecular biology-- Mathematical models, Congresses.,Biology-- Computer simulation.,Biology-- Mathematical models.,Molecular biology-- Computer simulation.,Molecular biology-- Mathematical models.,NATURE-- Reference.,SCIENCE-- Life Sciences-- Biology.,SCIENCE-- Life Sciences-- General.
رده :
QH323
.
5
.
P33
2004eb
36. Practical aspects of declarative languages :
پدیدآورنده : José Júlio Alferes, Moa Johansson (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Declarative programming languages, Congresses.,Declarative programming, Congresses.,Declarative programming languages.,Declarative programming.
رده :
QA76
.
76
.
C65
37. Programming languages and systems :
پدیدآورنده : Hongseok Yang (edition)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programming languages (Electronic computers), Congresses,Software engineering, Congresses
رده :
QA76
.
7
.
A65
2011
38. Programming languages and systems :
پدیدآورنده : Sukyoung Ryu (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software Engineering.,Systems analysis & design.
رده :
QA76
.
7
39. Reversible computation :
پدیدآورنده : Robert Glück, Tetsuo Yokoyama (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
رده :
QA76
.
9
.
L63
R634
2013
40. Rewriting techniques and applications :
پدیدآورنده : N. Dershowitz, ed.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms-- Congresses.,Computer programming-- Congresses.,Rewriting systems (Computer science)-- Congresses.
رده :
QA267
.
I555
1989
